441. Planetary spacecraft navigation /
پدیدآورنده: James Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Astronautics.,Navigation (Astronautics),Space vehicles-- Control systems.,Aerospace Technology and Astronautics.,Mathematical Applications in Computer Science.,Software Engineering/Programming and Operating Systems.,Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics).,Aerospace & aviation technology.,Astronautics.,Astronautics.,Computers-- Software Development & Engineering-- General.,Mathematics-- Applied.,Navigation (Astronautics),Science-- Astrophysics & Space Science.,Space vehicles-- Control systems.,Technology & Engineering-- Aeronautics & Astronautics.
رده :
TL1065
.
M55
2019
442. Practical augmented Lagrangian methods for constrained optimization
پدیدآورنده: / nezک Mario MartفErnesto G. Birgin, Jos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
443. Practical foundations of business system specifications
پدیدآورنده: edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business -- Data processing.,Computer software -- Development.,Software engineering.
444. Practical three-way calibration /
پدیدآورنده: Alejandro Olivieri and Graciela M. Escandar, Rosario Institute of Chemistry (IQUIR-CONICET), Department of Analytical Chemistry, Faculty of Biochemcial and Pharmaceutical Sciences, National University of Rosario, Suipacha 531, Rosario (2000), Argentina
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Calibration,Chemometrics
رده :
QD75
.
4
.
C45
O45
2014
445. Principles of distributed systems :
پدیدآورنده: Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
O66
2011
446. Probabilistic safety assessment in the chemical and nuclear industries /
پدیدآورنده: Ralph R. Fullwood.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemical plants-- Risk assessment.,Nuclear power plants-- Risk assessment.,Chemical plants-- Risk assessment.,HEALTH & FITNESS-- Safety.,Nuclear power plants-- Risk assessment.
رده :
TK9153
.
F853
2000eb
447. Probability with R
پدیدآورنده: Jane Mary Horgan.,Horgan, Jane M.,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science,Probabilities.,R (Computer program language),Mathematics.
448. Problems and methodologies in mathematical software production; International Seminar held at Sorrento, Italy, November 3-8, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
I521
1980
449. 23, 2011. Proceedings-Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18
پدیدآورنده: / Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
450. 23, 2010. Proceedings-bec City, Canada, June 21شMathematics of Program Construction: 10th International Conference, MPC 2010, Qu
پدیدآورنده: / chir Ktari (eds.)فo F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, BعRoland Backhouse, Wei Chen, Jo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
451. Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) :
پدیدآورنده: editors, Liew-Kee Kor [and 3 others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems, Congresses.,Mathematics, Congresses.,Statistics, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematics.,Statistics.
رده :
QA76
.
24
452. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده: Yuhang Yang, Maode Ma, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
453. Program verification :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
76
.
V47
P764
2013
454. Programmieren mit Maple V
پدیدآورنده: Waterloo Maple Inc.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer science.,Maple V
455. Programming Projects in C for Students of Engineering, Science, and Mathematics
پدیدآورنده: / Rouben Rostamian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
456. Programming with Turing and Object Oriented Turing /
پدیدآورنده: by Peter Grogono.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer science.
رده :
QA76
.
7-76
.
73
457. Progress in cryptology - INDOCRYPT 2011 :
پدیدآورنده: Daniel J. Bernstein, Sanjit Chatterjee (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses,Cryptography, Congresses,Data encryption (Computer science), Congresses
رده :
QA76
.
9
.
A25
I58
2011
458. Proof technology and computation /
پدیدآورنده: edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
459. Public Key Cryptography ђ́أ PKC 2012
پدیدآورنده: edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security
460. Quality of Communication-Based Systems :
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
